Cacuy's theorem explanation